Llistar TÃtols per Matèria "Pseudo-Boolean constraints"
S'ha trobat un Ãtem:
Format | Data | TÃtol | Autor |
---|---|---|---|
Format | Data | TÃtol | Autor |
![]() |
15 juliol 2019 | Scheduling through logic-based tools | Coll Caballero, Jordi |
S'ha trobat un Ãtem:
Format | Data | TÃtol | Autor |
---|---|---|---|
Format | Data | TÃtol | Autor |
![]() |
15 juliol 2019 | Scheduling through logic-based tools | Coll Caballero, Jordi |
004 - Informà tica 51 - Matemà tiques 68 - Indústries, oficis i comerç d’articles acabats. Tecnologia cibernètica i automà tica Programación de tareas Restricciones pseudo-booleanas Satisfacibilidad módulo teorias Satisfactibilitat mòdul teories
Universitat de Girona. Departament d’Informà tica, Matemà tica Aplicada i EstadÃstica (2013-) Suy Franch, Josep Coll Caballero, Jordi Villaret i Ausellé, Mateu